Cdk5r1<tm2.1Lht> delta p35-3xHA http://identifiers.org/mgd/MGI:5560495 deltap35KI MGI:5560495 targeted mutation 2.1, Li-Huei Tsai